An Open Challenge Problem Repository for Systems Supporting Binders
نویسندگان
چکیده
منابع مشابه
An Open Challenge Problem Repository for Systems Supporting Binders
A variety of logical frameworks support the use of higher-order abstract syntax in representing formal systems; however, each system has its own set of benchmarks. Even worse, general proof assistants that provide special libraries for dealing with binders offer a very limited evaluation of such libraries, and the examples given often do not exercise and stress-test key aspects that arise in th...
متن کاملRepository An open access repository of
Since the late 1990s, self marketing and personal branding have become increasingly popular as subjects of self-improvement books, Web sites and consultancy services, especially in the USA. To date, little of this interest appears to have permeated the discipline of marketing, either in terms of formal research, textbook contents or academic curricula. This paper examines the theoretical basis ...
متن کاملTowards an Open Repository Environment
Repositories used to be fairly monolithic systems, with a single object store, a tailored content model, and a dedicated application on top. First steps for searching across repositories (e.g. Z39.50, first drafted in 1988; OAI-PMH for content aggregation, first released 2001) are an exception to this. However, we are still far away from an ”open repository environment“, in which repositories i...
متن کاملNon-Cartesian Systems : an Open Problem
The following open problem is presented and motivated : Are there physical systems whose state spaces do not compose according to either the Cartesian product, as classical systems do, or the usual tensor product, as quantum systems do ? ”History is written with the feet ...”
متن کاملAn open software-radio architecture supporting advanced 3G+ systems
This paper describes a software-radio architecture developed for providing real-time wide-band radio communication capabilities in a form attractive for advanced 3G systems research. It is currently being used to implement signaling methods and protocols similar, but not limited to, evolving 3G radio standards (e.g. UMTS, CDMA2000). An overview of the hardware system is provided along with exam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.185.2